Herméneutique et traduction poétique : quelques remarques

Quelques remarques concernant la théorie des corps ordonnés différentiellement clos

We first propose a “geometrical” axiomatization for the theory of closed ordered differential fields (denoted CODF) introduced by M.Singer in 1978 (see [Si]). This axiomatization is the analogue of the Pierce-Pillay axiomatization for the theory of differentially closed fields of characteristic zero (see [PP]). We also remark that a differential lifting principle can be used to prove that CODF ...

Un essai de réponse à quelques questions théoriques et pratiques liées à la traduction automatique : définition d'un système prototype

Inégalité de Necas et quelques applications

Déroulement du raisonnement: l’idée est d’abord de constater, en passant en Fourier, que l’inégalité est triviale lorsque Ω = R (Fait 1). Lorsque Ω est un demi-espace, on se ramène par symétrie au cas de l’espace entier mais, pour que cette symétrie envoie H(Ω) dans H(R ), il faut que son opération duale envoie H(R ) dans H 0 (Ω) ( ), d’où la nécessité de faire une symétrie astucieuse qui gère ...

Modèles et algorithmes pour la traduction automatique

quelques remarques sur les lacunes de la loi du travail

-